Case Study on Algebraic Software Methodologies for Scientific Computing
نویسندگان
چکیده
منابع مشابه
Case study on algebraic software methodologies for scientific computing
ions. Finally we discuss the implementation of the PDE problem domain concepts. 3.1. Program construction and reasoning In order to build programs we need algorithm and data constructors, confer the slogan Algorithms + Data Structures = Programs [59]. Most of the early programming languages were strictly following the von Neumann machine model, i.e., sequential imperative programming languages....
متن کاملSimulation Methodologies for Scientific Computing - Modern Application Design
We discuss methodologies to obtain solutions to complex mathematical problems derived from physical models. We present an approach based on series expansion, using discretization and averaging, and a stochastic approach. Various forms based on the Boltzmann equation are used as model problems. Each of the methodologies comes with its own strengths and weaknesses, which are briefly outlined. We ...
متن کاملGeneric Software Components for Scientific Computing
ion The next step consists in uncovering commonalities and variabilities [Cop98] in requirements and functionality of algorithms and data structures, respectively. • Find requirements that algorithms have in common, find functionality that satisfies a large class of algorithms • Match these requirements with the abilities of data structures; classify data structures with respect to classes of a...
متن کاملSEMPA: software engineering for parallel scientific computing
computer science, mechanical engineering, and numerical analysis to develop software-engineering methods for parallelizing existing scientific-computing software packages. To define and evaluate these methods, the researchers implemented a parallel version of TfC, a computational fluid dynamics simulation program. T he wide availability of interfaces such as PVM and MPI enables software enginee...
متن کاملPractical Software Engineering Strategies for Scientific Computing
Software engineering is a formal set of tools and procedures for the efficient development of reliable software. Scientific computing software differs from other types of software because the “correct” outputs for a given set of software inputs are generally not known. Since scientific computing relies on approximate numerical solutions to partial differential or integral equations, the answers...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Programming
سال: 2000
ISSN: 1058-9244,1875-919X
DOI: 10.1155/2000/482042